MAYBE
UNSAT
"/tmp/SMTS14793-9" (line 91, column 18):
unexpected "."
expecting letter or digit, "_", "'", white space, "(", "-", digit or ")"